Symbolic computation - PDFSEARCH.IO - Document Search Engine

Symbolic computation
Results: 169

#	Item
151	MKM 2001 First International Workshop on Mathematical Knowledge Management RISC, A-4232 Schloss Hagenberg, September 24-26, 2001 Add to Reading List Source URL: www.risc.jku.at Language: English - Date: 2001-03-25 13:35:12 Mathematical knowledge management Mathematics Science Buchberger Michael Kohlhase Andrzej Trybulec Knowledge Research Institute for Symbolic Computation Bruno Buchberger Hagenberg im Mühlkreis James H. Davenport
152	AISC 2004 7th International Conference on Add to Reading List Source URL: www.risc.jku.at Language: English - Date: 2004-02-11 11:40:23 Linz Antoine Augustin Calmet Belaid Michael Kohlhase Research Institute for Symbolic Computation Bruno Buchberger Hagenberg im Mühlkreis Buchberger
153	Curriculum vitae Marc Eduard Frˆıncu January 7, 2010 Add to Reading List Source URL: www.regulus.ro Language: English - Date: 2012-01-01 06:28:59 SimGrid Association of Lunar and Planetary Observers Petcu Grid computing Symbolic computation
154	CALL FOR PAPERS - CALL FOR PAPERS - CALL FOR PAPERS Hagenberg, Austria July 5-8, 2007 http://www.risc.uni-linz.ac.at/conferences/ispdc2007 In the exciting and rapidly moving world of parallel and Add to Reading List Source URL: www.risc.jku.at Language: English - Date: 2006-12-13 04:50:42 Softwarepark Hagenberg Johannes Kepler Austria Research Institute for Symbolic Computation Bruno Buchberger Hagenberg im Mühlkreis Geography of Austria Linz
155	CALL FOR PAPERS - CALL FOR PAPERS - CALL FOR PAPERS Hagenberg, Austria July 5-8, 2007 http://www.risc.uni-linz.ac.at/conferences/ispdc2007 In the exciting and rapidly moving world of parallel and Add to Reading List Source URL: www.risc.jku.at Language: English - Date: 2007-01-29 06:27:27 Softwarepark Hagenberg Johannes Kepler Austria Research Institute for Symbolic Computation Bruno Buchberger Hagenberg im Mühlkreis Geography of Austria Linz
156	MKM 2001 First International Workshop on Mathematical Knowledge Management RISC, A-4232 Schloss Hagenberg, September 24-26, 2001 Add to Reading List Source URL: www.risc.jku.at Language: English - Date: 2001-03-25 13:36:33 Mathematical knowledge management Mathematics Science Buchberger Michael Kohlhase Andrzej Trybulec Knowledge Research Institute for Symbolic Computation Bruno Buchberger Hagenberg im Mühlkreis James H. Davenport
157	Article Submitted to Journal of Symbolic Computation Subquadratic computation of vector Add to Reading List Source URL: hal.archives-ouvertes.fr Language: English - Date: 2006-10-04 06:47:04 Polynomials Numerical linear algebra Digital signal processing Matrix theory Linear algebra Block Wiedemann algorithm Euclidean algorithm Fast Fourier transform Time complexity Algebra Mathematics Abstract algebra
158	Association for Symbolic Logic Business Office: Box 742, Vassar College 124 Raymond Avenue, Poughkeepsie, New York 12604, USA Add to Reading List Source URL: www.aslonline.org Language: English - Date: 2009-10-21 13:04:30 Predicate logic Non-classical logic Association for Symbolic Logic Workshop on Logic Language Information and Computation Modal logic Federated Logic Conference Informal logic Mereology Categorical logic Logic Mathematical logic Philosophical logic
159	J. Symbolic Computation[removed], 255–273 doi:[removed]jsco[removed]Available online at http://www.idealibrary.com on Add to Reading List Source URL: math.usask.ca Language: English - Date: 2006-02-27 12:30:18 Mathematical structures Algebraic structures Linear algebra Binary operations Associator Alternative algebra Representation theory Cross product Ring Algebra Abstract algebra Mathematics
160	A Review of Mathematica RICHARD J. FATEMAN Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 1999-10-25 13:15:14 Wolfram Research Computer algebra systems Cross-platform software Functional languages Mathematica Sage Pattern matching Symbolic computation Maple Software Mathematical software Science

UPDATE